Skolem normal forms concerning the least point (1987)

by E Dahlhaus
Venue:Computation Theory and Logic, volume 270 of Lecture