@InCollection{DolzmannSeidl:03, author = {Andreas Dolzmann and Andreas Seidl}, title = {REDLOG -- First-Order Logic for the Masses}, booktitle = {Journal of Japan Society for Symbolic and Algebraic Computation}, pages = {23-33}, year = {2003}, volume = {10}, number = {1}, }