Deriving Constraints Among Argument Sizes in Logic Programs.

conf/pods/90 Allen Van Gelder Deriving Constraints Among Argument Sizes in Logic Programs. 47-60 1990 PODS db/conf/pods/pods90.html#Gelder90 http://doi.acm.org/10.1145/298514.298541 db/conf/pods/Gelder90.html journals/anthology/cd1-3:PODS90/P047.PDF journals/anthology/dvd1:text/1-3/PODS90/P047.PDF conf/pods/AfratiPPRSU86 ... ... ... conf/slp/LassezHM89 conf/iclp/MorrisUG86 ... ... ... ... ... ... journals/tods/Ullman85 journals/jacm/UllmanG88 conf/sigmod/Gelder86 ... ...