A FeldmanYishai

发表

Simulating reactive systems by deduction

A FeldmanYishai, SchneiderHaim, 1993 .

Seven Layers of Knowledge Representation and Reasoning in Support of Software Development

A FeldmanYishai, RichCharles, 1992 .