Simultaneous rigid sorted unification for tableaux
ISSN: 1572-8730, 0039-3215
Year of publication: 2002
Volume: 72
Issue: 1
Pages: 31-59
Type: Article
ISSN: 1572-8730, 0039-3215
Year of publication: 2002
Volume: 72
Issue: 1
Pages: 31-59
Type: Article