Login / Signup

Boolean matching based on Boolean unification.

Kuang-Chien Chen
Published in: EURO-DAC (1993)
Keyphrases