- <notice class="alpha" notice="ELPI: fast, Embeddable, λProlog Interpreter"/>
- (2015). In proc. of LPAR 20. LNCS 9450, pp. 460-468.
+ <notice class="alpha">ELPI: fast, Embeddable, λProlog Interpreter</notice>
+ (2015). In proc. of LPAR 20. Lecture Notes in Computer Science, 9450, pp. 460-468. Springer.