Simultaneous rigid sorted unification for tableaux

ISSN: 1572-8730,  0039-3215

Year of publication: 2002

Volume: 72

Issue: 1

Pages: 31-59

Type: Article