DISCOUNT -- A distributed and learning equational prover (1996)

Cached

Download Links

by Jörg Denzinger , Martin Kronenburg , Stephan Schulz
Venue:JOURNAL OF AUTOMATED REASONING
Citations:31 - 16 self