I had the pleasure to present to a class of students at the University of Texas at Austin who were studying symbolic programming. Although the slides were created many years ago so data and examples are outdated, most of the content is still relevant today.
Here are the slides: