Ticket entailment plus the mingle axiom has the variable-sharing property
ISSN: 1367-0751, 1368-9894
Any de publicació: 2012
Volum: 20
Número: 1
Pàgines: 355-364
Tipus: Article
ISSN: 1367-0751, 1368-9894
Any de publicació: 2012
Volum: 20
Número: 1
Pàgines: 355-364
Tipus: Article