1. S. Abramsky. Socially Responsive, Environmentally Friendly Logic, in T. Aho and A-V Pietarinen, eds., Truth and Games: Essays in Honour of Gabriel Sandu, Acta Philosophica Fennica, 17-45, 2006.
2. Games and Full Completeness for Multiplicative Linear Logic;Abramsky;Journal of Symbolic Logic,1994
3. Non-well-founded Sets;Aczel,1988
4. Handbook of Spatial Logics,2007
5. Situated Non-Monotonic Temporal Reasoning with BABY-SIT;Akman;AI Communications,1997