Logics strongly capturing PTIME on classes of structures (2013)
ilustraciones