Logic programs with abstract constraint atoms (2004)

by V W Marek, M Truszczynski
Venue:In Proceedings of AAAI