Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva. PackUp: Tools for Package Upgradability Solving. JSAT, 8(1/2):89-94, 2012. [doi]
@article{JanotaLMM12,
title = {PackUp: Tools for Package Upgradability Solving},
author = {Mikolás Janota and Inês Lynce and Vasco M. Manquinho and João Marques-Silva},
year = {2012},
url = {http://jsat.ewi.tudelft.nl/content/volume8/JSAT8_5_Janota.pdf},
researchr = {https://researchr.org/publication/JanotaLMM12},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {8},
number = {1/2},
pages = {89-94},
}