Some Specification Techniques for Nonmonotonic Knowledge-Bases: Preliminary Report