Login / Signup

Constraint Propagation for First-Order Logic and Inductive Definitions.

Johan WittocxMarc DeneckerMaurice Bruynooghe
Published in: ACM Trans. Comput. Log. (2013)
Keyphrases