Hosono, 1989. On an unsatisfiability-satisfiability prover 25.. https://doi.org/10.2977/prims/1195173764