On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs. - Anthony Karel Seda; Máire Lane (IWFM, 2003)

Properties of General Semantic Operators Determined by Logic-Based Systems. - Máire Lane; Anthony Karel Seda (MFCSIT, 2006)

Connectionist Representation of Multi-Valued Logic Programs. - Ekaterina Komendantskaya; Máire Lane; Anthony Karel Seda (Perspectives of Neural-Symbolic Integration, 2007)