%0 Conference Proceedings
%F kouchnarenko98a
%A Kouchnarenko, O.
%A Pinchinat, S.
%T Labeling Automata with Polynomials
%B Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98)
%C Saarbrueken, Germany
%U ftp://ftp.irisa.fr/local/signal/publis/articles/Int-approach.ps.gz
%8 August
%D 1998