SLDNFA: an abductive procedure for normal abductive programs (1992)

Cached

Download Links

by Marc Denecker , Danny De Schreye
Venue:Proc. of the International Joint Conference and Symposium on Logic Programming
Citations:64 - 15 self