@article{DMTCS_2004_6_2_a20,
     author = {Berregeb, Narjes and Robbana, Riadh and Tiwari, Ashish},
     title = {Towards automated proofs of observational properties},
     journal = {Discrete mathematics & theoretical computer science},
     year = {2003-2004},
     volume = {6},
     number = {2},
     doi = {10.46298/dmtcs.331},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/}
}