"A Bidirectional Krivine Evaluator."

Mikaël Mayer, Ravi Chugh (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics