Faltings, B.2006-12-132006-12-132006-12-131997https://infoscience.epfl.ch/handle/20.500.14299/238166Constructing Problem-Specific Abstractions for Case Adaptationtext::conference output::conference proceedings::conference paper