Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4. - Samuli Heilala; Brigitte Pientka (CADE, 2007)

On Bus Graph Realizability. - Anil Ada; Melanie Coggan; Paul Di Marco; Alain Doyon; Liam Flookes; Samuli Heilala; Ethan Kim; Jonathan Li On Wing; Louis-François Préville-Ratelle; Sue Whitesides; Nuo Yu (CCCG, 2007)