Title: Implementing a game theoretic interpretation of logic
First published: 1985