Proving Correctness of Plans Considered as Procedural Programs. - Manny Rayner; Åsa Hugosson; Annika Wærn (AIMSA, 1988)

Using a logic grammer to learn a lexicon. - Manny Rayner; Åsa Hugosson; Göran Hagert (COLING, 1988)

Using a Logic Grammar to Learn a Lexicon. - Manny Rayner; Åsa Hugosson; Göran Hagert (SCAI, 1988)

Formal Reasoning about Plan-Controlled Vehicles. - Manny Rayner; Åsa Hugosson; Martin Aronsson; Annika Wærn (SCAI, 1989)