Ticket entailment plus the mingle axiom has the variable-sharing property
ISSN: 1367-0751, 1368-9894
Year of publication: 2012
Volume: 20
Issue: 1
Pages: 355-364
Type: Article
ISSN: 1367-0751, 1368-9894
Year of publication: 2012
Volume: 20
Issue: 1
Pages: 355-364
Type: Article