Si-En Chang

1961

• Extended restricted and-parallelism execution model and abstract machine for logic programming