Alvaro del Val: First order LUB approximations: characterization and algorithms. Artif. Intell. 162(1-2): 7-48 (2005)