Login / Signup

Bottom-Up Compuation of Perfect Models for Disjunctive Theories.

José Alberto FernándezJack Minker
Published in: J. Log. Program. (1995)
Keyphrases