"A Logic for PTIME and a Parameterized Halting Problem."

Yijia Chen, Jörg Flum (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics