발행물
컨퍼런스
13th ACM Symposium on Principles of Databse Systems
1994
,
Constraints among Agrument Sizes in Logic Programs
10th ACM Symposium on Principles of Database Systems
1991
Termination detection in logic programs using argument sizes