DMCA

Modular termination proofs for Prolog with tabling (1999)

by Sofie Verbaeten , Konstantinos Sagonas , Danny De Schreye
Venue:IN PROCEEDINGS OF PPDP'99, LECTURE NOTES IN COMPUTER SCIENCE 1702
Citations:6 - 2 self