CITATION STYLE
Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6149 LNAI, pp. 56–71). https://doi.org/10.1007/978-3-642-14322-9_6
Mendeley helps you to discover research relevant for your work.