Free Variable Tableaux for a Logic with Term Declarations | Publicación