@inproceedings{2e0d0f21a1db4e89aa1479109f15bb94,
title = "Hidden congruent deduction",
author = "Grigore Rosu and Joseph Goguen",
year = "2000",
doi = "10.1007/3-540-46508-1_17",
language = "English (US)",
isbn = "3540671900",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "251--266",
booktitle = "Automated Deduction in Classical and Non-Classical Logics, Selected Papers",
address = "Germany",
note = "International Workshop on First-Order Theorem Proving, FTP'98 ; Conference date: 23-11-1998 Through 25-11-1998",
}