Title: Print͡sipy realizat͡sii nedoopredelennogo logicheskogo vyvoda
Subjects: Automatic theorem proving, Logic programming, System analysis