The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version

Open in new window