The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach.
Sandeep K. ShuklaDaniel J. RosenkrantzHarry B. Hunt IIIRichard Edwin StearnsPublished in: Satisfiability Problem: Theory and Applications (1996)