Logical workbench (research project by www.thm.de)