Skip to content

Deduction with Generalized Terms.

Vladimir S. Neiman

VenueBLPAR
Year1991
ProceedingsRCLP

Browse the full LPAR paper archive.