Coherent Well-founded Annotated Logic Programs.

Carlos Viegas Damsio, Lus Moniz Pereira, Terrance Swift

Browse the full LPNMR paper archive.