Journal of Automated ReasoningSeptember 1986, Volume 2, Issue 3, pp 275–275 | Cite asEditor's noteAuthorsAuthors and affiliationsJoerg H. SiekmannArticle 16 Downloads This is a preview of subscription content, log in to check access.Copyright information© D. Reidel Publishing Company 1986Authors and AffiliationsJoerg H. SiekmannThere are no affiliations available