A proof environment for the development of group communication systems (1998)

by Christoph Kreitz , Mark Hayden , Jason Hickey
Venue:Fifteenth International Conference on Automated Deduction, LNAI 1421
Citations:27 - 13 self