DMCA

Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System (1997)

by Jörg Denzinger , Stephan Schulz
Citations:22 - 13 self