PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Workshop paperA framework for extensible collaborative asset-based service engagementFan Jing Meng, Ying Huang, et al.ICEBE 2007
Workshop paperIntrapersonal retrospective recommendation: Lifestyle change recommendations using stable patterns of personal behaviorRobert G. Farrell, Catalina M. Danis, et al.RecSys 2012