Constructive Mathematics for Logic Programming (1987)

by R Aleliunas, F Bronsard