9 papers:
CC-1994-LammelR #correctness #prototype- Provable Correctness of Prototype Interpreters in LDL (RL, GR), pp. 218–232.
- CC-1992-Riedewald #development
- The LDL — Language Development Laboratory (GR), pp. 88–94.
CLP-1990-ShmueliT90 #incremental #query- Incremental Re-evaluation of LDL Queries (OS, ST), pp. 99–111.
- CLP-1990-ShmueliT90a #logic #source code
- Logical Diagnosis of LDL Programs (OS, ST), pp. 112–129.
VLDB-1989-ChimentiGK #architecture #towards- Towards on Open Architecture for LDL (DC, RG, RK), pp. 195–203.
- NACLP-1989-KrishnamurthyNZ #database #transaction
- Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.
PODS-1988-ShmueliTZ #logic #set- Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.
- PODS-1987-BeeriNRST #database #logic #set
- Sets and Negation in a Logic Database Language (LDL1) (CB, SAN, RR, OS, ST), pp. 21–37.
- VLDB-1986-TsurZ #named
- LDL: A Logic-Based Data Language (ST, CZ), pp. 33–41.
