%0 Conference Proceedings
%F Abiteboul05
%A Abiteboul, Serge
%A Abrams, Zoe
%A Haar, Stefan
%A Milo, Tova
%T Diagnosis of asynchronous discrete event systems: datalog to the 	rescue!
%B PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART 	symposium on Principles of database systems
%P 358-367
%I ACM Press
%C New York, NY, USA
%D 2005
%K Partial orders
%K  scenarios
%K  unfolding