Towards automated proofs of observational properties (2004)

by Narjes Berregeb , Riadh Robbana , Ashish Tiwari
Venue:Discrete Mathematics in Theoretical Computer Science
Citations:1 - 1 self