Implementing a relational theorem prover for modal logic | Publicación