Login / Signup

Semantic Confluence Tests and Completion Methods

David A. Plaisted
Published in: Inf. Control. (1985)
Keyphrases