object-oriented programming. automated reasoning
scientific article