DATALOG SIRUPs uniform boundedness is undecidable | IEEE Conference Publication | IEEE Xplore