Richard F. Paige, Marouane Kessentini, Philip Langer, Manuel Wimmer
Browse the full MODELS paper archive.