BibTex format
@inproceedings{Degiovanni:2014:10.1145/2568225.2568323,
author = {Degiovanni, R and Alrajeh, D and Aguirre, N and Uchitel, S},
doi = {10.1145/2568225.2568323},
pages = {129--139},
publisher = {ACM},
title = {Automated Goal Operationalisation Based on Interpolation and SAT Solving},
url = {http://dx.doi.org/10.1145/2568225.2568323},
year = {2014}
}