Hudelmaier, J "A decision procedure for propositional N-Prolog" Proceedings of the international workshop on Extensions of logic programming 1991

Languages mentioned

• N-Prolog {1985}