Reasoning about Prolog programs: From modes through types to assertions Krzysztof R. AptElena Marchiori OriginalPaper 21 April 2015 Pages: 743 - 765
Presupposition failure — A comedy of errors Jan van Eijck OriginalPaper 21 April 2015 Pages: 766 - 787
The weakest precondition calculus: Recursion and duality Marcello M. BonsangueJoost N. Kok OriginalPaper 21 April 2015 Pages: 788 - 800
Model-checking discrete duration calculus Michael R. Hansen OriginalPaper 21 April 2015 Pages: 826 - 845