SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics. - Jean-Louis Laurière; M. Vialatte (IFIP Congress, 1986)