Towards automated proofs of observational properties. Berregeb, Narjes; Robbana, Riadh; Tiwari, Ashish — 2003 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]