Simultaneous rigid sorted unification for tableaux

ISSN: 1572-8730,  0039-3215

Any de publicació: 2002

Volum: 72

Número: 1

Pàgines: 31-59

Tipus: Article