Original Authors: Davy Temperley: http://theory.esm.rochester.edu/temperley/ Daniel Sleator: http://www.cs.cmu.edu/~sleator/ John Lafferty: http://www.cs.cmu.edu/~lafferty/ Much additional work has been done by many different developers. The current lead developer is Linas Vepstas: http://linas.org/ The SAT parser code was developed by Filip Maric as a part of the 2008 Google Summer of Code (GSoC) project for OpenCog. The Russian dictionaries were provided by Sergey Protasov Some of the people who have contributed patches and fixes include: (In alphabetical order) Bill Hayes Borislav Iordanov Valery Kholodkov Vikas N Kumar Dom Lachowicz Per Larsson Stephen Leibowitz Marc Maurer Evgenii Philippov Sergey Protasov Sampo Pyysalo Lian Ruiting Murilo Saraiva de Queiroz Fridrich Strba Simon Stuart Peter Szolovits Alexander Tkachuk Vincent Untz Bruce Wilcox