Entailment for specification refinement (1996)

by Thomas Haynes, Rose Gamble, Leslie Knight, Roger Wainwright
Venue:Genetic Programming 1996: Proceedings of the First Annual Conference