%0 Journal Article
%A Berregeb, Narjes
%A Robbana, Riadh
%A Tiwari, Ashish
%T Towards automated proofs of observational properties
%J Discrete mathematics & theoretical computer science
%D 2003-2004
%V 6
%N 2
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/
%R 10.46298/dmtcs.331
%G en
%F DMTCS_2004_6_2_a20