| Search | Browse | Templates | Query | |||||
| paperid | title | year | banks_node_id |
|---|---|---|---|
| conf/pods/KiferW89 | A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). | 1989 | 540567 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications