1. Towards a theory of declarative knowledge;Apt,1988
2. The complexity of local stratification;Cholak;Fundamenta Informaticae,1994
3. Conjunctive grammars can generate non-regular unary languages;Jeż;DLT,2007
4. Conjunctive grammars over a unary alphabet: undecidability and unbounded growth;Jeż;CSR,2007
5. Well-founded semantics of Boolean grammars;Kountouriotis;DLT,2006