DMCA

Termination Proofs for Logic Programs with Tabling (2001)

by Sofie Verbaeten , KONSTANTINOS SAGONAS , Danny De Schreye
Venue:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Citations:19 - 4 self