An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.05.006