1. Linear time algorithms for liveness and boundedness in conflict-free Petri nets;Alimonti,1992
2. On line industrial diagnosis: an attempt to apply artificial intelligence techniques to process control;Alonso,1998
3. Model checking and boolean graphs;Andersen;Theoret. Comput. Sci.,1994
4. Forward chaining is simple(x);Aráoz;Oper. Res. Lett.,2000
5. Graph algorithms for functional dependency manipulation;Ausiello;J. ACM,1983