Complexity issues related to propagation completeness

Martin Babka, Tomas Balyo, Ondrej Cepek, Stefan Gurský, Petr Kucera, Václav Vlcek. Complexity issues related to propagation completeness. Artificial Intelligence, 203:19-34, 2013. [doi]

Abstract

Abstract is missing.