Sorted monotonic logic programs and their embeddings (2004)

by C V Damásio, L M Pereira
Venue:In Proc. IPMU-04