The Expressive Power of Stratified Logic Programs with Value Invention

Luca Cabibbo

Information and Computation · 1998 · 38 citations · 32 references

Concepts

References

32