The FAUST prover (0)

by Kropf
Venue:11th Conference on Automated Deduction, number 607 in Lecture Notes in Computer Science