Jerzy Marcinkowski DATALOG SIRUPs Uniform Boundedness is Undecidable. 13-24 1996 LICS db/conf/lics/lics96.html#Marcinkowski96