Anton Malykh, Andrei Mantsivoda. A Query Language for Logic Architectures. In Amir Pnueli, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Volume 5947 of Lecture Notes in Computer Science, pages 294-305, Springer, 2009. [doi]
Abstract is missing.