Together with Mirosław Truszczynski, he proved that the problem of existence of stable models of logic programs is NP-complete.
W szczególności, wraz z M. Truszczyńskim, Marek wykazał, że problem istnienia modeli stabilnych dla programów logicznych zdaniowych jest NP-zupełny.