Publications in ai-romatre-pubs.bib - Year: 1991
1991
[1]
Resolution for some first-order modal systems
(
Cialdea, Marta
),
In
Theoretical Computer Science
, volume 85,
1991
.
[bibtex]
[url]
[doi]
Powered by
bibtexbrowser