Publications

AuthID
P-008-VY9

Author(s)

Document Type

Article

Year published

1986

Published

in J. Autom. Reasoning, ISSN: 0168-7433

Volume: 2, Issue: 4, Pages: 329-390

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/BF00248249

Dblp: journals/jar/CoelhoP86

Scopus: 2-s2.0-0023018402

Source Identifiers

ISSN: 0168-7433

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links