TY  - RPRT
TI  - On the Completeness of Selective Unification in Concolic Testing of Logic Programs
AU  - Fred Mesnard
AU  - Etienne Payet
AU  - German Vidal
PY  - 2016
UR  - https://arxiv.org/abs/1608.03054
ID  - 1608.03054
ER  -