VDict mobile



logic A collection of clauses.
(1996-12-08)