Bernd Finkbeiner Language Containment Checking with Nondeterministic BDDs. 24-38 2001 conf/tacas/2001 TACAS http://link.springer.de/link/service/series/0558/bibs/2031/20310024.htm db/conf/tacas/tacas2001.html#Finkbeiner01