Model Checking Fixed Point Logic with Chop.

Martin Lange Colin Stirling Model Checking Fixed Point Logic with Chop. 250-263 2002 conf/fossacs/2002 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2303/23030250.htm db/conf/fossacs/fossacs2002.html#LangeS02