Klaus-Jörn Lange. The Boolean Formula Value Problem as Formal Language. In Henning Bordihn, Martin Kutrib, Bianca Truthe, editors, Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Volume 7300 of Lecture Notes in Computer Science, pages 138-144, Springer, 2012. [doi]
Abstract is missing.