Extended logic programs with default assumptions (1991)

by K Inoue
Venue:In Proc. of ICLP91