Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias. An evolutionary approach to translating operational specifications into declarative specifications. Science of Computer Programming, 181:47-63, 2019. [doi]
Abstract is missing.