Primal Infon Logic with Conjunctions as Sets. - Carlos Cotrini; Yuri Gurevich; Ori Lahav 001; Artem Melentyev (IFIP TCS, 2014)

Java Modular Extension for Operator Overloading. - Artem Melentyev (CoRR, 2014)