Login / Signup

Pseudo-models and propositional Horn inference.

Bernhard GanterRüdiger Krauße
Published in: Discret. Appl. Math. (2005)
Keyphrases