SLDNFA: an abductive procedure for abductive logic programs (1997)

Cached

Download Links

by Marc Denecker , Danny De Schreye
Citations:55 - 13 self