FOM

Checking the Word Problem in Free Orthomodular Lattices