TY  - JOUR
AU  - Berregeb, Narjes
AU  - Robbana, Riadh
AU  - Tiwari, Ashish
TI  - Towards automated proofs of observational properties
JO  - Discrete mathematics & theoretical computer science
PY  - 2003-2004
VL  - 6
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.331/
DO  - 10.46298/dmtcs.331
LA  - en
ID  - DMTCS_2004_6_2_a20
ER  -